COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source file
C00006 ENDMK
C⊗;
.require "let.pub" source file;
∂AILDr. Herbert Stoyan↓DDR 806 Dresden↓Togliattistr. 40↓East Germany∞

Dear Dr. Stoyan:

	Your interpretation of the early LISP memos seems correct to
me, but I haven't time to study the matter carefully.  I guess you
are right about Dan Edwards, although I have the impression that
he did some work, possibly with Rochester, before he graduated.
Klim Maling was the other programmer, and I think that Edwards
replaced him, although they may have overlapped.

	Jean Sammet found the English of your paper unsatisfactory,
and I'm afraid she is right.  Patte Wood, my secretary, is revising
the English, and we'll send you a corrected version as soon as it
is done.  I hope the revisions will be in time.

	Dr. Phyllis Fox worked for the Computation Center.  As I recall,
her only connection with the project was to write the LISP I manual.
Professor Shannon was interested in artificial intelligence since
long before the project was started, but he never brought himself
to write programs or to closely supervise student work.  He had no
connection with LISP.  Professor Rogers, a well known recursive
function theorist, was one of the faculty members who took part in
advising the Computation Center at the time it was being formed.  He
also did not develop any close interest in real computing and was
never interested in artificial intelligence or LISP.  Some of the
students in the AI Project wrote their PhD theses in recursive
function theory under his direction, but this did not overlap their
work for the project.

	Both David Luckham and David Park made little connection
between their work on LISP and their work in mathematical logic
until some years later when they both became active in mathematical
theory of computation.  I suppose it didn't seem to them like a
respectable mathematical topic at the time, and my first work on
proving programs correct was a few years later.

.reg